Dynamic maintenance of an accepting run
نویسندگان
چکیده
Finding an infinite sequence of transitions (a run) going through some special states (called accepting) is of importance for fields like formal verification. Whereas finding such a sequence as been extensively studied, the problem of maintaining this sequence upon changes in the model or the specification has received less attention. In this work, we propose a solution to the maintenance of an accepting run when the transition system representing the product of the model and of the specification is changed, using the Tarjan’s algorithm as a base algorithm.
منابع مشابه
Service Level Based Capacity Rationing Procedure for Make-To-Order Manufacturing Systems
We extend a heuristic method within the framework of “dynamic capacity apportionment procedure” (DCAP) to allocate an existing capacity among the classes with different profit contributions. In general, DCAP is applied when some capacity shortage exists and can not be enhanced in short - run. Our proposed approach is constructed for a make - to - order manufacturing system that produces a varie...
متن کاملA multi-stage stochastic programming for condition-based maintenance with proportional hazards model
Condition-Based Maintenance (CBM) optimization using Proportional Hazards Model (PHM) is a kind of maintenance optimization problem in which inspections of a system relevant to its failure rate depending on the age and value of covariates are performed in time intervals. The general approach for constructing a CBM based on PHM for a system is to minimize a long run average cost per unit of time...
متن کاملDyVSoR: dynamic malware detection based on extracting patterns from value sets of registers
To control the exponential growth of malware files, security analysts pursue dynamic approaches that automatically identify and analyze malicious software samples. Obfuscation and polymorphism employed by malwares make it difficult for signature-based systems to detect sophisticated malware files. The dynamic analysis or run-time behavior provides a better technique to identify the threat. In t...
متن کاملDesign and Evaluation of a Method for Partitioning and Offloading Web-based Applications in Mobile Systems with Bandwidth Constraints
Computation offloading is known to be among the effective solutions of running heavy applications on smart mobile devices. However, irregular changes of a mobile data rate have direct impacts on code partitioning when offloading is in progress. It is believed that once a rate-adaptive partitioning performed, the replication of such substantial processes due to bandwidth fluctuation can be avoid...
متن کاملMonetary Policies, Exchange Rate Pass-through and Prices in Asian Economies: A Long and Short-run Analysis
Abstract T he financial crisis in 2007-2008 has turned into the most far-reaching international financial and economic crisis since the Great Depression. Indeed, the crisis-affected Asian countries experienced varying degrees of changes in the exchange rate and prices following an initial shock of sharp depreciation of their currencies in the second half of 1997. Moreover,...
متن کامل